Merge branch 'wip/chergert/no-compressed-ui' into 'gtk-3-24'
authorTimm Bäder <mail@baedert.org>
Sun, 24 Jun 2018 06:26:13 +0000 (06:26 +0000)
committerTimm Bäder <mail@baedert.org>
Sun, 24 Jun 2018 06:26:13 +0000 (06:26 +0000)
build: use xml-stripblanks with .ui resources

See merge request GNOME/gtk!216


Trivial merge